-
1 дедуктивное доказательство
Русско-английский политехнический словарь > дедуктивное доказательство
-
2 Доказательство по выводу
Русско-английский словарь по прикладной математике и механике > Доказательство по выводу
-
3 дедуктивный
-
4 доказательство
proof матем.* * *доказа́тельство с.
proofиме́ется [существу́ет] доказа́тельство, что … — there is evidence that …не приводя́ доказа́тельств — without proofдоказа́тельство предлага́ется привести́ чита́телю — proof will be left to the readerдедукти́вное доказа́тельство — deductive proofко́свенное доказа́тельство — indirect proofдоказа́тельство ме́тодом математи́ческой инду́кции — proof by perfect inductionнесводи́мое доказа́тельство — irreducible proofнестро́гое доказа́тельство — nonrigorous proofдоказа́тельство от проти́вного — proof by contradictionдоказа́тельство перебо́ром всех возмо́жных значе́ний переме́нных — proof by exhaustionстро́гое доказа́тельство — rigorous proofдоказа́тельство существова́ния — existence proof* * * -
5 дедуктивное доказательство
deductive reasoning, deductive proofРусско-английский словарь по электронике > дедуктивное доказательство
-
6 дедуктивное доказательство
deductive proof, deductive reasoningРусско-английский словарь по радиоэлектронике > дедуктивное доказательство
-
7 дедуктивное доказательство
deductive demonstration мат., deductive proofРусско-английский научно-технический словарь Масловского > дедуктивное доказательство
-
8 дедуктивный
1. inferential2. deductive -
9 доказательство
с. proofСинонимический ряд:свидетельство (сущ.) подтверждение; свидетельство; указаниеАнтонимический ряд: -
10 дедуктивное доказательство
1) General subject: syllogism2) Mathematics: deductive argument, deductive demonstration, deductive proofУниверсальный русско-английский словарь > дедуктивное доказательство
См. также в других словарях:
Deductive reasoning — Deductive reasoning, also called deductive logic, is reasoning which constructs or evaluates deductive arguments. Deductive arguments are attempts to show that a conclusion necessarily follows from a set of premises or hypotheses. A deductive… … Wikipedia
Proof-theoretic semantics — is an approach to the semantics of logic that attempts to locate the meaning of propositions and logical connectives not in terms of interpretations, as in Tarskian approaches to semantics, but in the role that the proposition or logical… … Wikipedia
Deductive system — A deductive system (also called a deductive apparatus of a formal system) consists of the axioms (or axiom schemata) and rules of inference that can be used to derive the theorems of the system.[1] Such a deductive system is intended to preserve… … Wikipedia
Deductive fallacy — A deductive fallacy is defined as a deductive argument that is invalid. The argument itself could have true premises, but still have a false conclusion.[1] Thus, a deductive fallacy is a fallacy where deduction goes wrong, and is no longer a… … Wikipedia
proof — /proohf/, n. 1. evidence sufficient to establish a thing as true, or to produce belief in its truth. 2. anything serving as such evidence: What proof do you have? 3. the act of testing or making trial of anything; test; trial: to put a thing to… … Universalium
proof — Synonyms and related words: Christophany, Ditto copy, Photostat, Satanophany, Xerox, Xerox copy, absolute indication, account, acid test, acquaintance, affirmation, airtight, ammunition, angelophany, announcement, appearance, argument, assay,… … Moby Thesaurus
Proof procedure — In logic, and in particular proof theory, a proof procedure for a given logic is a systematic method for producing proofs in some proof calculus of (provable) statements.There are several types of proof calculi. The most popular are natural… … Wikipedia
Mathematical proof — In mathematics, a proof is a convincing demonstration (within the accepted standards of the field) that some mathematical statement is necessarily true.[1][2] Proofs are obtained from deductive reasoning, rather than from inductive or empirical… … Wikipedia
Formal proof — See also: mathematical proof, proof theory, and axiomatic system A formal proof or derivation is a finite sequence of sentences (called well formed formulas in the case of a formal language) each of which is an axiom or follows from the… … Wikipedia
conditional proof, rule of — The rule in a deductive system that if A1…An⊦ B then A1…An–⊦ An→ B … Philosophy dictionary
Descartes: methodology — Stephen Gaukroger INTRODUCTION The seventeenth century is often referred to as the century of the Scientific Revolution, a time of fundamental scientific change in which traditional theories were either replaced by new ones or radically… … History of philosophy
